Type systems

Results: 2329



#Item
771Functional languages / Procedural programming languages / Standard ML / Type theory / Subroutines / Relational database management systems / Type signature / ATS / Euclidean vector / Software engineering / Computing / Programming language theory

Standard ML Code ´ ANOQ of the Sun, Hardcore Processing ∗

Add to Reading List

Source URL: www.hardcoreprocessing.com

Language: English - Date: 2015-02-21 16:33:36
772Safety / Aviation in the United Kingdom / Civil Aviation Authority / Department for Transport / Safety Management Systems / Airworthiness Directive / Pilot licensing and certification / Type certificate / National aviation authority / Aviation / Transport / Aviation law

Civil Aviation Rules Register Information Leaflet

Add to Reading List

Source URL: www.caa.govt.nz

Language: English - Date: 2010-07-22 20:08:05
773Software / Adobe Systems / Computer printing / Digital press / Vector graphics / Halftone / Dots per inch / Portable Document Format / Image scanner / Computing / Computer graphics / Graphics file formats

CMJ Digital Artwork Guidelines Option 1: Scanning The key is to set your resolution, colour choice and file-type settings on your scanner or camera BEFORE creating/scanning the image. • Only scan if a digital copy of t

Add to Reading List

Source URL: www.cmj.org

Language: English - Date: 2015-02-27 05:47:00
774Procedural programming languages / Type theory / Functional languages / Type systems / Data types / OCaml / Caml / ALGOL 68 / ML / Software engineering / Computing / Computer programming

Better typing errors for OCaml Arthur Charguéraud Inria 2

Add to Reading List

Source URL: ocaml.org

Language: English - Date: 2015-04-03 06:50:10
775Flight training / Aviation in the United Kingdom / Aviation law / Air safety / Civil Aviation Authority / Airworthiness Directive / Safety Management Systems / Flight instructor / Type certificate / Aviation / Transport / Safety

Civil Aviation Rules Register Information Leaflet

Add to Reading List

Source URL: www.caa.govt.nz

Language: English - Date: 2010-11-04 17:32:51
776Criminal law of Singapore / Singapore Police Force / Conscription in Singapore / Law enforcement in Singapore / Auxiliary police / Security guard / Singapore Civil Defence Force / Central Narcotics Bureau / Cisco Systems / Organisations of the Singapore Government / Law enforcement / Public safety

Assessment-Only Pathway (AOP) Application Form Personal Particulars ID No: ID Type:

Add to Reading List

Source URL: www.polwel.org.sg

Language: English - Date: 2014-07-16 23:48:08
777Graphic design / Adobe InDesign / Raster graphics editors / Adobe Illustrator / Adobe Photoshop / Portable Document Format / Adobe Systems / SVG Kit for Adobe Creative Suite / Software / Graphics software / Desktop publishing software

***PDF CREATION EXAMPLES*** A. If you are using Microsoft Office Word 2010: 1. On the File Menu do not set Permissions of any sort. 2. On the File Menu click “Save As” 3. Under Save as File Type choose “PDF” 4. U

Add to Reading List

Source URL: www.gsd.harvard.edu

Language: English - Date: 2015-03-16 11:43:04
778Data types / Type theory / Procedural programming languages / C++ / Program analysis / Type system / C++ classes / Objective-C / ALGOL 68 / Software engineering / Computing / Computer programming

The Limbo Programming Language Dennis M. Ritchie (Revised 2005 by Vita Nuova) Limbo is a programming language intended for applications running distributed systems on small computers. It supports modular programming, str

Add to Reading List

Source URL: www.vitanuova.com

Language: English - Date: 2013-04-25 08:18:02
779Cirrus SR20 / Cirrus Aircraft / Aerospace engineering / Transport / Ballistic Recovery Systems / SR22 / SR20 / Type certificate / Aviation / Aircraft / Cirrus SR22

Airworthiness Directive Schedule - Aeroplanes - Cirrus SR20 and SR22

Add to Reading List

Source URL: www.caa.govt.nz

Language: English - Date: 2010-09-28 21:42:29
780Hematology / Transfusion medicine / ABO blood group system / Von Willebrand disease / Von Willebrand factor / Human blood group systems / Thrombophilia / Blood type / Blood donation / Blood / Anatomy / Biology

The intriguing relationship between the ABO blood group, cardiovascular disease, and cancer

Add to Reading List

Source URL: www.biomedcentral.com

Language: English
UPDATE